This is awesome! thanks for writing it :)

What's the default sorting for the list ? If it's alphanumeric, it's not fair.
Maybe we should sort the list by number of authored commits ?

What's the default sorting for the list ? If it's alphanumeric, it's not fair. Maybe we should sort the list by number of authored commits ?

thats the sorting now, it is github's default

What's the default sorting for the list ? If it's alphanumeric, it's not fair. Maybe we should sort the list by number of authored commits ?

See https://api.github.com/repos/portapack-mayhem/mayhem-firmware/contributors
The default sorting is already 'most contributions', so I haven't add any logic. This counts only the git repo, not the git wiki. I haven't found a API request for that for now. Work in progress.
One change will be to fill up the names by char count, sorted by "char count 30". This could lead to LupusE with 2 contributions next to eried with 492 contributions....

I think that sorting is ok, I just remember when doing it manually I was fitting shorter names on some lines but no need for any "artisan" handling like that. If you find a way for the wiki that would be brilliant! the whole wiki thing feels like an afterthought for github tho, tracking changes is also very cumbersome

Sorry that we may still need to figure out the deep cause of the lagging issue that randomly appear when touching the menu item list.

HTotoo and I tried many times on it recently, but still in bad luck. and if that can't be resolved, we currently cannot touch the about_simple page.

But as a script that we do not need to force apply, I think it looks good. Maybe add an comment on the file top and printed hint message to mention the issue and I'll approve this.

Also personally I have two one tiny suggestions:

• I personally like current rank method (by PR count) and also I like alphabet too, maybe that can be an option (arg), but also feel free to keep it as it is now, since I think most people would agree with current one, it's up to you.

This suggestions is just suggestions, not change request, so it's up to you whether to add then or not. And if you made your decision, feel free to tell me and I'll approve this PR.